Fixed bug #985: The current Git head does not compile anymore for Windows