WindowsのPCでXilinxのlinux_xlnxがgit cloneできなかった原因

VirtualBOXに入ってるUbuntuでやればよかったのだが、ちょっと理由があってWindowsでXilinxのlinux_xlnxを手に入れる必要があった。しかしなんでか、git cloneがうまくいかなかった。
原因はcloneするファイルの中にwindowsで禁止されたファイル名のファイルが含まれていたからだった。
GithubとかでCloneしたもののファイル名やディレクトリ名がAUXとかになっているとwindowsでは禁止用語なのでcheckoutできない。小文字大文字かかわらず、拡張子がついていようがいまいが、禁止された名前扱いされるらしい。AUXのほかにPRNやCONなどもだめらしい。以下の例だとaux.cという名前のファイルがあるせいでチェックアウトできないようだ。aaaa_aux.cとかファイル名に禁止名が含まれるだけなら大丈夫っぽい。