1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile
index f4aec51..49c40aa 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -10,6 +10,7 @@ WORKDIR /usr/src/iclean
 RUN PACKAGES="libreadline-dev make gcc" \
 	&& apt-get update -qq \
 	&& apt-get install -qq $PACKAGES --no-install-recommends \
+	&& ln -s /opt/clean/lib/clean-platform/OS-Independent /opt/clean/lib/Platform \
 	&& make -B \
 # Cleanup
 	&& rm -rf \