diff --git a/docker/faabric.dockerfile b/docker/faabric.dockerfile
index e1c842fcc..504c84abd 100644
--- a/docker/faabric.dockerfile
+++ b/docker/faabric.dockerfile
@@ -5,7 +5,7 @@ ARG FAABRIC_VERSION
 SHELL ["/bin/bash", "-c"]
 
 # Flag to say we're in a container
-ENV FAABRIC_DOCKER "on"
+ENV FAABRIC_DOCKER="on"
 
 # Put the code in place
 WORKDIR /code
@@ -30,7 +30,7 @@ RUN ./bin/create_venv.sh \
 RUN echo "set auto-load safe-path /" > /root/.gdbinit
 
 # CLI setup
-ENV TERM xterm-256color
+ENV TERM=xterm-256color
 
 RUN echo ". /code/faabric/bin/workon.sh" >> ~/.bashrc
 CMD ["/bin/bash", "-l"]
diff --git a/include/faabric/util/files.h b/include/faabric/util/files.h
index d978a4c07..2c8216bdb 100644
--- a/include/faabric/util/files.h
+++ b/include/faabric/util/files.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <cstdint>
 #include <faabric/util/exception.h>
 #include <string>
 #include <vector>