changes for api in libmaus