more bashisms in /etc/profile