Remove unused is_remote_dns option

src/local.c

@@ -86,7 +86,6 @@ uint64_t tx    = 0;
 uint64_t rx    = 0;
 ev_tstamp last = 0;
 
-int is_remote_dns = 1; // resolve hostname remotely
 char *stat_path   = NULL;
 #endif
 
@@ -1449,7 +1448,7 @@ main(int argc, char **argv)
     USE_TTY();
 
 #ifdef __ANDROID__
-    while ((c = getopt_long(argc, argv, "f:s:p:l:k:t:m:i:c:b:a:n:S:huUvV6AD",
+    while ((c = getopt_long(argc, argv, "f:s:p:l:k:t:m:i:c:b:a:n:S:huUvV6A",
                             long_options, NULL)) != -1) {
 #else
     while ((c = getopt_long(argc, argv, "f:s:p:l:k:t:m:i:c:b:a:n:huUv6A",
@@ -1549,9 +1548,6 @@ main(int argc, char **argv)
         case 'S':
             stat_path = optarg;
             break;
-        case 'D':
-            is_remote_dns = 0;
-            break;
         case 'V':
             vpn = 1;
             break;