Revert "Delete bash_profile"

This reverts commit bdad14629085709eb7780251b80fa370f3e8a8c3.