Fix: file with a specific mask not found, again