Update the dgamelaunch compatibility patch.
The patch is now to be applied to dgamelaunch revision 6753fd6e.
Maybe I should maintain my own Git branch. But this project already
uses autotools and npm. I don't need any more software that's amazing
in theory but painful to actually work with.