Another tweak to travis-ci config