update 9umount to reflect /proc/mounts format change (and squish a bug meanwhile)