Travis is red  - Try reverting pull request 13368