NetHack 3.1.3 sources (vanilla)