some patches for JNetHack