diff --git a/travis/dockerfiles/Dockerfile.debian-9 b/travis/dockerfiles/Dockerfile.debian-9
index edf0100b1..3735b38fd 100644
--- a/travis/dockerfiles/Dockerfile.debian-9
+++ b/travis/dockerfiles/Dockerfile.debian-9
@@ -8,6 +8,7 @@ RUN apt-get update -qq && apt-get install -y --no-install-recommends \
     cmake \
     libboost-all-dev \
     libcln-dev \
+    libeigen3-dev \
     libgmp-dev \
     libginac-dev \
     automake \
diff --git a/travis/dockerfiles/Dockerfile.ubuntu-16.10 b/travis/dockerfiles/Dockerfile.ubuntu-16.10
index 966857553..a612faccb 100644
--- a/travis/dockerfiles/Dockerfile.ubuntu-16.10
+++ b/travis/dockerfiles/Dockerfile.ubuntu-16.10
@@ -8,6 +8,7 @@ RUN apt-get update -qq && apt-get install -y --no-install-recommends \
     cmake \
     libboost-all-dev \
     libcln-dev \
+    libeigen3-dev \
     libgmp-dev \
     libginac-dev \
     automake \