===> Cleaning for verifypc-1.7