Build ssreflect binary, which is compatible with the official Coq binary for Windows