workaround for https://bugs.launchpad.net/launchpad-buildd/+bug/760735