diff --git a/ci/bootstrap.py b/ci/bootstrap.py
index 824b159b60ca1c1c35c96034716f69fe9b69e30a..8d9427468ecfc32b84496e573b8dc23c37202dcd 100755
--- a/ci/bootstrap.py
+++ b/ci/bootstrap.py
@@ -17,6 +17,7 @@ installation of bob.devtools.
 import os
 import sys
 import glob
+import time
 import shutil
 import platform
 import subprocess