Nethack 3.1.3  patched for modern Linux systems