diff --git a/dockerfiles/devenv.Dockerfile b/dockerfiles/devenv.Dockerfile
index cbbbf152a85ffcce965035e1ba0520ed2d6664fd..f7732e059dd84098a38e623bdb2153c02737fae0 100644
--- a/dockerfiles/devenv.Dockerfile
+++ b/dockerfiles/devenv.Dockerfile
@@ -94,15 +94,16 @@ RUN rm -rf *
 # Install extra packages ws_dependencies
 ARG PACKAGES=none
 COPY /ws_dependencies/* ./
+RUN echo $PACKAGES
 RUN if [ "$PACKAGES" != "none" ]; \
     then \
-    if [ -f "${PACKAGES}.txt" ]; \
+    if [ -f "${PACKAGES}" ]; \
     then \
     # Install apt-get packages
     apt-get update && \
-    awk '/^# APT-GET PACKAGES/,/^# PIP PACKAGES/' ${PACKAGES}.txt | grep -v '^#' | xargs apt-get install -y && \
+    awk '/^# APT-GET PACKAGES/,/^# PIP PACKAGES/' ${PACKAGES} | grep -v '^#' | xargs apt-get install -y && \
     # Install pip packages
-    awk '/^# PIP PACKAGES/,0' ${PACKAGES}.txt | grep -v '^#' | xargs -r -n1 pip install ;\
+    awk '/^# PIP PACKAGES/,0' ${PACKAGES} | grep -v '^#' | xargs -r -n1 pip install ;\
     apt-get clean; \
     fi \
     fi