Fix error: undefined reference to clock_gettime.
error: undefined reference to clock_gettime
Same issue as with hdbpp-cm: hdbpp-cm!12 (closed)