fix Cmake under Linux (using the premake workaround)