Changes to praxa-chroot.sh
Manual merge from GitHub master