Some bash profile changes