Avoid misbehaving sh processes that leave orphans on Linux CI box.