When building ppl-0.12.1 on OS X,

tests failed: test04 test05
FAIL: polyhedron1
tests failed: test04 test05
FAIL: polyhedron2
======================================
2 of 10 tests failed
Please report to ppl-devel@cs.unipr.it
======================================
make[5]: *** [check-TESTS] Error 1
make[4]: *** [check-am] Error 2
make[3]: *** [run_tests.stamp] Error 1
make[2]: *** [check-am] Error 2
make[1]: *** [check-recursive] Error 1
make: *** [check-recursive] Error 1