Name the travis-ci config correctly