wget https://github.com/GOFAI/dungeon/archive/4.0.tar.gz