#3261 fixed problems with Wumpus env.