Fix premake linux config.