Sourcing bash profile does not work