https://www.nethack.org/download/5.0.0/nethack-500-src.tgz