Debian Bug#753460: Updated fix for 699599

This patch checks if __clock_gettime is available, and if not,
it uses clock_gettime instead.

Maybe this patch can be improved using dlvsym.