fixes for libmaus api changes