Don't run GMP tests after cleanall [fixes #1941]