adapt to libmaus api changes