[polyml] Poly/ML 5.5.2 make fails with linker error