Merge pull request #559 from nico/9_9
authorNico Weber <nicolasweber@gmx.de>
Mon, 29 Apr 2013 17:21:44 +0000 (10:21 -0700)
committerNico Weber <nicolasweber@gmx.de>
Mon, 29 Apr 2013 17:21:44 +0000 (10:21 -0700)
Fix Windows build more.


Trivial merge