Add a blank line before writing into bash_profile, in case it doesn't already end with a newline