Don't try to include "makefile.win32" in EXTRA_DIST

As per the former contents of that file, makefile.win32 is dead.
Having it in EXTRA_DIST when it no longer exists prevents "make
dist" from running.