diff --git a/.docker/Dockerfile b/.docker/Dockerfile
index 0a46de50d..89b71ab64 100644
--- a/.docker/Dockerfile
+++ b/.docker/Dockerfile
@@ -3,9 +3,14 @@
 
 FROM nixpkgs/nix-flakes
 
+# See issue #71
+RUN if [ "$(uname)" = Darwin ] then; \
+    echo "filter-syscalls = false" >> /etc/nix/nix.conf; \
+    fi
+
 # Prepare the sources
-COPY . /circus-sources
-RUN cd /circus-sources && git init && git add .
+COPY . /hax-sources
+RUN cd /hax-sources && git init && git add .
 
 # Use cache to speed up install
 ENV PATH="$PATH:/root/.nix-profile/bin"
@@ -13,4 +18,4 @@ RUN nix-env -iA cachix -f https://cachix.org/api/v1/install
 RUN cachix use hacspec
 
 # Install
-RUN nix profile install /circus-sources
+RUN nix profile install /hax-sources