===> Cleaning for php71-extensions-7.1.12