Really fix debian/default :-)