make process dumping a bit more flexible