; Instrument `tramp-handle-file-name-case-insensitive-p' for debugging