Hello, On Mon, 4 Dec 2017, at 17:44, Hugo Beauzée-Luyssen wrote: > This fixes win32 builds That's fine for me. Not 100% sure... -- Jean-Baptiste Kempf - President +33 672 704 734