Update TinyDST.h