wget http://catb.org/~esr/intercal/intercal-0.30.tar.gz || wget https://deb.debian.org/debian/pool/main/i/intercal/intercal_0.30.orig.tar.gz