changing makefiles according to current build server configuration