Bug#1019299: Now fixed upstream

[Peter Chubb]

Upstream commit 7e863bb fixes this issue.

Please may we have a new version?
-- 
Dr Peter Chubb                https://trustworthy.systems/
Trustworthy Systems Group                        CSE, UNSW
Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.