removed typenames from Polyhedra.cpp, make gcc < version 4.7 happy