funny tilde expansions for bash