updated travis options