Patched version of the Simple DirectMedia Layer (SDL)