quickfix: actually write the quote into bash_profile
Merge branch 'release/r4p1'