change liblibmaus to libmaus in configure options