Time and rc in bash prompt