More junk to get process management working (at least on Ubuntu)