fix tsyn::Clock error revealed by new g++ version