More travis-ci fixes