Use linux_clock when __linux__ is defined. Also fix %d -> %lld usage.