Better version check on push
Squash output from 'which'
Script to help mark new versions
Merge pull request #2574 from jbeda/build-fixes

Build fixes