fix a bug in time control; xboard compatible thinking output