libgmp: Fix README.DELETED