no-ticket: Fix galaxy deployment instructions to use specific version of galaxy