envsetup.sh: readd the get_mc() function to brunch