revert travis settings