[polyml] More problems building Poly/ML on MacOS X 10.6]