Fix forgotten uses of cached files