some hacks to make premake generate a working Makefile