jnethackどこに入ってる？
srcディレクトリにあるのは動かないし。