Handle Ctrl+C in the build script
diff --git a/x.py b/x.py
index 54148b0..d281a6a 100755
--- a/x.py
+++ b/x.py
@@ -16,4 +16,7 @@
 
 import bootstrap
 
-bootstrap.main()
+try:
+    bootstrap.main()
+except KeyboardInterrupt:
+    sys.exit()