fix mistake in make_file_source on Windows