This file should be found by visitFiles.