Small fix for linux&windows building on the same linux machine.