FWIW this is reproducable upon both jessie and wheezy releases of Debian GNU/Linux. (I've only tested on amd64, though.) Steve -- http://www.steve.org.uk/