.profile: set $CROUTON to chroot name from /etc