MERGED: Pass GMP paths when compiling mkGmpDerivedConstants; fixes trac #3784