Minor fix for mingw32 and add mrproper