Rework of profile

This commit merges the older profile with the bash_profile provided by
Gentoo.