Yep, that did it. Along with the fixes in my branch (and the filename fixes in the zip I linked earlier), you can now enjoy Project Mario on Linux. The only minor issue is that GL3 doesn't seem to do any shadows correctly:
GL1:
GL3:
I've added these to my "Project Mario" pull request, which is now ready for review (again).