We should be running pkill (or the platform-specific equivalent) at the
start and end of each build, but this is really a CI detail, not
something that is integral to the list of steps, so remove it for now.