diff --git a/vagrant/install.sh b/vagrant/install.sh
index 14b55c27..a3a9b513 100755
--- a/vagrant/install.sh
+++ b/vagrant/install.sh
@@ -24,6 +24,9 @@ sudo apt-get -qq update
 echo "Installing tagging tools & other dependencies..."
 sudo apt-get -qq install -y AtomicParsley flac vorbis-tools imagemagick oracle-java8-installer elasticsearch pkg-config yasm libfaac-dev libmp3lame-dev libvorbis-dev libtheora-dev
 
+echo "Installing PHP extensions"
+sudo apt-get -qq install -y libgmp-dev php-gmp
+
 
 if type ffmpeg &>/dev/null; then
     echo "ffmpeg is installed!"
diff --git a/vagrant/php-overrides.ini b/vagrant/php-overrides.ini
index b2c1457d..2f5b8293 100644
--- a/vagrant/php-overrides.ini
+++ b/vagrant/php-overrides.ini
@@ -3,3 +3,4 @@
 expose_php = Off
 post_max_size = 250M
 upload_max_filesize = 200M
+extension=php_gmp.dll
\ No newline at end of file