Fix bash profile prompt