* dwarf2dbg.c (user_filenum, user_filenum_allocated): Remove.