We still need to do more work on GJK when using very small collision margins... Fix premake build on Windows