Fix build on w32