Unneeded, causes grief on Windows