private function logTime($step)
{
static $log, $begin, $end, $start;
if ($log === null) {
$log = fopen($this->project_dir . '/log/project.timing.csv', 'w+');
}
$end = microtime(true);
if ($begin === null) {
$begin = $end;
$start = $end;
}
fwrite($log, $step . "\t" . ($end - $begin) . "\t" . ($end - $start) . "\n");
$begin = $end;
}