Make bash completions work with Ubuntu 13.04