Ignore now deleted file "symbols.rds".