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

Tentatively fixes: http://bugs.xdebug.org/view.php?id=985 (untested)