Fix #745 - make mrproper after configure