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

Dear all, Is it normal that the latest galaxy-dist creates a shed_tools directory one directory up (and outside) from the server galaxy-dist directory? best, Leandro