note that bash completion script is buggy