HiDoc/wolf3d not found