Remove profile sourcing from the bash function

Not worth the trouble.

Change-Id: If857e0910c79c555463e5886665e245ff03592c5