Fix hardcoded filename for galaxy zip download