Fix incorrectly named Travis config file.