Fix nethack include