[PPL-devel] tests/Polyhedron/memory1 not workin on Mac OS X