Fix premake on osx