bugfix for add_alloclist.awk (memory usage counter).