diff --git a/patches/utils/patch_header.sh b/patches/utils/patch_header.sh
index 8a30bf94110ab2a06c221870194845d8b393108c..201dcc1e92c388cd38bd17616ad97d3deec5125a 100644
--- a/patches/utils/patch_header.sh
+++ b/patches/utils/patch_header.sh
@@ -104,7 +104,9 @@ done
 echo "HERE header1"
 if [ -n "$ENV_FILE" ] ; then 
     if [ -f "$ENV_FILE" ] ; then
-        . "$ENV_FILE" ;
+        echo -n "source $ENV_FILE ..."
+        . "$ENV_FILE"
+        echo "[DONE]"
     else
         echo "$ENV_FILE does not exist"
         exit 1