WinGit: only copy the files from /bin/ that are really necessary