curl -RO -C - ftp://ftp.gap-system.org/pub/gap/gap4/tar.bz2/gap4r4p12.tar.bz2
curl -RO -C - ftp://ftp.gap-system.org/pub/gap/gap4/tar.bz2/packages-2010_10_01-07_38_UTC.tar.bz2
curl -RO -C - ftp://ftp.gap-system.org/pub/gap/gap4/tar.bz2/xtom1r1p4.tar.bz2
curl -RO -C - ftp://ftp.gap-system.org/pub/gap/gap4/tar.bz2/tools4r4p12.tar.bz2
tar xvjf gap4r4p12.tar.bz2
tar xvjf xtom1r1p4.tar.bz2
(cd gap4r4 &&
patch -p0 -b -z.org < ../gap4r4-ubagami.patch
)