Question: C++ obtaining milliseconds time on Linux -- clock() doesn't seem to work properly