Fix for using clock_gettime on Linux.

Change-Id: Ibb8e840ebf6eee31080e4581aeb2c89100c7a348