smarter propagate_mnt()