diff --git a/Dev_Diplodocus/packages/compile.sh b/Dev_Diplodocus/packages/compile.sh
index eda2c3b..c59056c 100755
--- a/Dev_Diplodocus/packages/compile.sh
+++ b/Dev_Diplodocus/packages/compile.sh
@@ -96,6 +96,10 @@ cd src/postgresql-${PG_VERSION}
     make all
     make install
 cd ../..
+
+cd src/postgresql-${PG_VERSION}/contrib ; make all ; cd ../../..
+cd src/postgresql-${PG_VERSION}/contrib ; make install ; cd ../../..
+
 ldconfig
 
 # Compilation of GEOS