I think this should fix it https://git.launchpad.net/ubuntu-dev-tools/commit/?id=6ca12331d6863d96370fee847e295d74b8d1da8b
I think this should fix it /git.launchpad. net/ubuntu- dev-tools/ commit/ ?id=6ca12331d68 63d96370fee847e 295d74b8d1da8b
https:/