changed thrifty.hh to thrifty.h which is the file produced by bison