fix source spec for GMP 5.1.1 ictce-5.2.0