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