[PATCH] Drop two useless variables from known-dwarf.awk