Minor tweaks to debian/control to fix building on older versions of Ubuntu