[galaxy-dev] Galaxy, CloudMan & nginx 1.4.0