Fix up path loading, sourceing of bash_profile