Remove no-longer needed tool from 2008
Remove bignum PMC