Updated the mirexecb call in pgflagger.py