Tweak the way that on_production_server is determined