diff --git a/Tools/gdb/libpython.py b/Tools/gdb/libpython.py
index 0d599811d9f..ac4aff5e32a 100644
--- a/Tools/gdb/libpython.py
+++ b/Tools/gdb/libpython.py
@@ -43,6 +43,7 @@
 from __future__ import with_statement
 import gdb
 import locale
+import sys
 
 # Look up the gdb.Type for some standard types:
 _type_char_ptr = gdb.lookup_type('char').pointer() # char*