ports/games/nethack/patches
