update libmaus dependency in debian/control