Don't override the existing MONO_PATH launching the migration tool
Revert "Delete unused function"

This reverts commit 34cb1d8a594542b279ac27668c4b32f119205def.