No matches were found for subject:"gmp.h uses undefined preprocessor symbol"