72fb2a3fd57e967ddcae41e8441741a0 gnome-terminal-2.5.4-2.5.5.diff.gz