Better naming for bash completion file