include bash_profile.local
Merge pull request #4 from johannes-r/bash_profile.local

include bash_profile.local