boost, latex, and bash_profile