===> Cleaning for vmips-1.3.1