.profile: better completion file sourcing