Define and use idris-try-directory-files for unreadable upstream directories