Update mysql_udf_microtime.c