fixed bash_profile to deal with pg_dump version issues