Making dolfin build on windows