Strange GMP coredumps