SDL for gcLinux (http://gc-linux.cvs.sourceforge.net/viewvc/gc-linux/libsdl )