Modify /etc/profile in one shot.