Make code work with windows Coq 8.4