Make sure to revert the hsgmp patch when cleaning