reverted latest travis settings