curl -ROL -C - http://downloads.sourceforge.net/project/maxima/Maxima-source/5.22.1-source/maxima-5.22.1.tar.gz
tar xvzf maxima-5.22.1.tar.gz