stretch re-tested on windows