diff --git a/etc/docker/ubuntu-with-nix-gnupg/Dockerfile b/etc/docker/ubuntu-with-nix-gnupg/Dockerfile
index 41ea553a42..81e5b74156 100644
--- a/etc/docker/ubuntu-with-nix-gnupg/Dockerfile
+++ b/etc/docker/ubuntu-with-nix-gnupg/Dockerfile
@@ -1,4 +1,4 @@
-FROM ubuntu:14.04
+FROM fpco/ubuntu-with-libgmp:14.04
 
 # SETUP GROUP/USERS
 ENV USER root