premake: fixed build, deleted an old patch