Use URI instead of String in tracking visited files #1544