Make chroot setup work better with NFS home dirs.

build/install-chroot.sh

Index: build/install-chroot.sh
diff --git a/build/install-chroot.sh b/build/install-chroot.sh
index b80aea0fd52b9819f49be35089de750151a4767a..72dcec97c2fff194e8fe9135a946db70bcb4c323 100755
--- a/build/install-chroot.sh
+++ b/build/install-chroot.sh
@@ -203,7 +203,9 @@ EOF
 sed '/^FSTAB=/s,/mount-defaults",/mount-'"${target}"'",'                       \
          /etc/schroot/script-defaults |
   sudo sh -c 'cat >/etc/schroot/script-'"${target}"
-sudo cp /etc/schroot/mount-defaults /etc/schroot/mount-"${target}"
+sed '\,^/home[/[:space:]],s/\([,[:space:]]\)bind[[:space:]]/\1rbind /' \
+  /etc/schroot/mount-defaults |
+  sudo sh -c 'cat > /etc/schroot/mount-'"${target}"
 echo "$HOME/chroot/.${target} $HOME/chroot none rw,bind 0 0" |
   sudo sh -c 'cat >>/etc/schroot/mount-'"${target}"
 mkdir -p "$HOME/chroot/.${target}"