Remove outdated `files.txt` listing for #1804

Fixes #1804