Fixed thumb.h -- it might work now