proper check_file operation via File.space (amending 6ad3a412ed97 --- broken in Isabelle2023);