Fix bash completion, remove have

Should solve #1639.
Merge pull request #1710 from thomasf/master

Fix bash completion.