Remove mrproper from distributed Makefile, since it is only for internal use