--- bundled/ppl/apps/polytope/include/ppl_interface_impl.h.orig	2016-12-08 17:48:18.801229611 -0700
+++ bundled/ppl/apps/polytope/include/ppl_interface_impl.h	2016-12-08 20:02:08.979505777 -0700
@@ -25,6 +25,7 @@
 #include "polymake/hash_set"
 #include "polymake/polytope/compress_incidence.h"
 // the following requires an entry in Makefile.inc
+#define typeof(x) decltype(x)
 #include <ppl.hh>
 
 #include <fenv.h>
--- bundled/ppl/configure.pl.orig	2016-12-08 17:48:00.114445495 -0700
+++ bundled/ppl/configure.pl	2016-12-08 20:02:45.612143460 -0700
@@ -41,6 +41,7 @@ sub proceed {
    }
    my $error=Polymake::Configure::build_test_program(<<"---", Libs => "-lppl -lgmp", CXXflags => "$CXXflags", LDflags => "$LDflags");
 #include <cstddef>
+#define typeof(x) decltype(x)
 #include "ppl.hh"
 #include <iostream>
 int main() {