Update quotes in append to bash_profile command: