Fixing some build server config