Hi Geoffrey, On Thu, Nov 13, 2014 at 8:52 AM, Geoffrey Métais <geoffrey.metais at gmail.com> wrote: > I kept the .bat version in case some contributors would run on Windows... Since we do not officially support building on Windows, I think that we can safely remove this .bat file, as j-b has said. Regards, Edward