Original /etc/profile from Debian 5.0
Fix Debian sbin issue in /etc/profile
small bash stuff