Fixed for the new Mingw of Webots 7.1.1