Merge pull request #1168 from whitequark/bugpoint-processes