[galaxy-dev] change in file of Galaxy version