OK: mtab unmodified by umount