When writing the Windows Makefile, don't forget to strip some filenames

of their output directory prefix.