Fix travis-ci config....