quickfix: actually write the quote into bash_profile