added .bash_profile to support them debians