Fix distclean to correctly handle Centos

No match.