Use a patched version of SDL