update for changes in libmaus