cross-compile Coq for Windows in Linux.