fixed: clock_gettime missing error in ubuntu (Thanks to K. Ellrott)