correct test
work around bug in gmp_remove