tilde escape for new version of Bash.