Updated the Travis options