Proper handling of files without the symbol table