Estimated hours taken: 0.25
Branches: main, release

tools/test_mercury:
	Fix a bug with linking the stable version of the mercury-gcc source
	distribution.