OK: mtab unmodified by umount
