I reported this bug upstream too: see <https://sf.net/tracker/?func=detail&aid=650436&group_id=2479&atid=102479>. -- Jon Dowland http://jon.dowland.name/ PGP fingerprint: 7032F238