--- ./bundled/libnormaliz/apps/polytope/src/normaliz.cc.orig	2014-11-08 20:00:00.000000000 -0700

+++ ./bundled/libnormaliz/apps/polytope/src/normaliz.cc	2014-11-08 20:00:00.000000000 -0700

@@ -36,11 +36,11 @@

 #include <libnormaliz/cone.h>

 namespace libnormaliz {

-   template<> inline long explicit_cast_to_long(const pm::Integer& a) {

+   inline long explicit_cast_to_long(const pm::Integer& a) {

       return a.to_long();

    }

-   template<> pm::Integer int_max_value_half<pm::Integer>(){

+   pm::Integer int_max_value_half(){

       assert(false);

       return 0;

    }