Update thrifty.hh

change thrifty.yy.h to thrifty.h