[polyml] Segfault on 2.6.9 SMP