[galaxy-user] Rename tool output file in Galaxy