[Bug 717934] bash completions don't add a space anymore