Revert back to old Travis configuration