Suppress tilde expansion

On Debian Wheezy the tilde expansion is performed.  Suppress it
explicitly.

dotfiles/bash/post.bashrc

@@ -55,7 +55,7 @@ export PS2=$(make_ps2)
 
 case "$TERM" in
 xterm*|rxvt*|screen*)
-    PROMPT_COMMAND='__save_rv $?; echo -ne "\033]0;$(__make_ps1d)${PWD/$HOME/~}\$\007"'
+    PROMPT_COMMAND='__save_rv $?; echo -ne "\033]0;$(__make_ps1d)${PWD/$HOME/\~}\$\007"'
 
     # Show the currently running command in the terminal title:
     # http://www.davidpashley.com/articles/xterm-titles-with-bash.html
@@ -71,9 +71,9 @@ xterm*|rxvt*|screen*)
             *)
                 if test -n "${BASH_COMMAND}";
                 then
-                    echo -ne "\033]0;${BASH_COMMAND} (${PWD/$HOME/~})\007"
+                    echo -ne "\033]0;${BASH_COMMAND} (${PWD/$HOME/\~})\007"
                 else
-                    echo -ne "\033]0;$(__make_ps1d)${PWD/$HOME/~}\$\007"
+                    echo -ne "\033]0;$(__make_ps1d)${PWD/$HOME/\~}\$\007"
                 fi
                 ;;
         esac