Bugfix in RUN cmd of Dockerfile