64/32 bit fix for Thread.h

Just some more 64/32 bit fixes