Fix Debian packaging tests on Ubuntu 14.04