Travis options changed