premake5 workarounds