C compiler reports: Cannot open include file: 'gmp.h': No such file or directory