make libmaus dependency statements more precise