fix win32 issue

Signed-off-by: Wouter Verkerke <verkerke@nikhef.nl>