fix compilation for Windows

Did I miss this one?