dot/bash_profile: Eliminate the already-run guard.