fix travis option