more fixes for libmaus api changes