[galaxy-dev] Normal that latest galaxy-dist creates shed_tools directory one level up from the galaxy-dist directory?