Fix ws_dependencies file name

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