SDL 1.2.5 repository with dispmanx video driver for the Raspberry Pi