Mympirun fixes

2 fixes, one new bug, one to deal with new vsc-mympirun install module