upgraded UnNethack to 5.1