diff --git a/analyzer/python/ikos/scan.py b/analyzer/python/ikos/scan.py
index 188c14a2..e5bbfc84 100644
--- a/analyzer/python/ikos/scan.py
+++ b/analyzer/python/ikos/scan.py
@@ -641,8 +641,8 @@ def __init__(self):
             try:
                 # try to start the http server on a random port
                 self.port = random.randint(8000, 9000)
-                self.httpd = http.HTTPServer(('', self.port),
-                                             ScanServerRequestHandler)
+                self.httpd = http.HTTPServerIPv6(('', self.port),
+                                                 ScanServerRequestHandler)
             except (OSError, IOError):
                 self.port = None  # port already in use
 
diff --git a/analyzer/python/ikos/view.py b/analyzer/python/ikos/view.py
index f8aeb508..9710bf47 100644
--- a/analyzer/python/ikos/view.py
+++ b/analyzer/python/ikos/view.py
@@ -62,7 +62,7 @@
 from ikos import settings
 from ikos.enums import Result, CheckKind
 from ikos.highlight import CppLexer, HtmlFormatter, highlight
-from ikos.http import HTTPServer, BaseHTTPRequestHandler
+from ikos.http import HTTPServerIPv6, BaseHTTPRequestHandler
 from ikos.log import printf
 from ikos.output_db import OutputDatabase
 
@@ -337,7 +337,7 @@ def __init__(self, db, port=8080):
         self.report = ViewReport(self.db)
 
         try:
-            self.httpd = HTTPServer(('', self.port), RequestHandler)
+            self.httpd = HTTPServerIPv6(('', self.port), RequestHandler)
         except (OSError, IOError) as e:
             log.error("Could not start the HTTP server: %s" % e)
             sys.exit(1)