(No libsdl2-dev in Ubuntu 12.04 LTS)