Merge pull request #4312 from ntherning/winaot-tests-on-jenkins