fix Windows-specific quick hack for timing

I've kind of been planning to fix it properly for a while now and I was
going to do that before merging