changes for updated libmaus api
add timing information in debug output