Switch the way we source /etc/profile