adjust dev bash profile in case git ps1 integration doesn't exist