[mpiwg-tools] being_debugged issue #5