update dependency for libmaus in debian control file