I have actually fixed that, too. :-) Closing this bug, as 1.1.5-19ubuntu3 has been built on all arches successfully. ** Changed in: jnethack (Ubuntu) Status: In Progress => Fix Released -- jnethack: merge new debian version https://launchpad.net/bugs/6743