some minor travis-ci stuff