Debian prefers .profile instead of .bash_profile
Improve portability of /etc/profile.d/rbenv.sh