use full host name in bash prompt