make libmaus dependency more precise