operator<< to print tsTick on ostrem, fix 64-bit printf formatter in generated ticks on gcc