That’s how we get errors like ”file not found”, without a file name. A pain for mankind.