more things to get travis-ci working