fix the dependencies on GmpDerivedConstants.h when HaveLibGmp==YES