Quick fix for debian/control