bash: add MERCURY_HOME export to path