Fix a bug in helixmc-run