Fix distclean on Win32