fixed linking Realtime Extensions library on some linux systems (undefined reference to clock_gettime)