remove gmp documentation install