Fix behaviour under Windows.