incl. path to libgmp for OSX PTs