Improve GMP troubleshotting (issue #101).
Merge branch 'release-3.0.1-branch' into develop