misc travis-ci scripts