make it a bit more windows-safe