deleted useless check of GMP in CMakeLists.txt