fixed linking Realtime Extensions library on some linux systems (undefined reference to clock_gettime)
Merge pull request #214 from ALfuhrmann/master

fixed linking Realtime Extensions library on some linux systems (undefin...