bash completion: Append space after file names have been completed