improve handling of gmp/mpfr configuration

Merged Mark OLESEN requested to merge style-config-files into develop

Merge request reports