diff --git a/bob/devtools/deploy.py b/bob/devtools/deploy.py
index e67e57abcdf87e9a0eb8bef406f422c0231ced94..847f97682b71223b87bac40b5e2738f973f453a2 100644
--- a/bob/devtools/deploy.py
+++ b/bob/devtools/deploy.py
@@ -4,6 +4,7 @@
 '''Deployment utilities for conda packages and documentation via webDAV'''
 
 
+import os
 
 from .constants import WEBDAV_PATHS, SERVER
 from .log import get_logger