Version 1.12.0-dev.2.1

Merge commit '6de1083784d8a73e234dd14cabd17e7ee5852949' into dev
diff --git a/tools/VERSION b/tools/VERSION
index 0d220d1..0e38057 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 12
 PATCH 0
 PRERELEASE 2
-PRERELEASE_PATCH 0
+PRERELEASE_PATCH 1
diff --git a/tools/clean_output_directory.py b/tools/clean_output_directory.py
index e41671c..79df929 100755
--- a/tools/clean_output_directory.py
+++ b/tools/clean_output_directory.py
@@ -7,6 +7,7 @@
 
 import shutil
 import sys
+import subprocess
 import utils
 
 def Main():