Seems to work now, looks like I didn't have the latest version of the patch! My bad, sorry for the confusion 😀

Hm, thanks for the tip, but now I'm stuck with these errors: ../../../include\dosbox.h:25:1: error: unknown type name 'GCC_ATTRIBUTE' GCC_ATTRIBUTE(noreturn) void E_Exit(const char * message,...) GCC_ATTRIBUTE( __format__(__printf__, 1, 2)); /include\dosbox.h:32:9: error: unknown type name 'Bitu' …

Looks like the patch stopped working again with the latest SVN changes (possibly related to the OpenGL shader stuff that was added?). Would be great if it could be fixed again! 😀