===> Cleaning for wabt-1.0.25