Fix tilde substitution in terminal title