precise clock_gettime when not using CLOCK_REALTIME; fixes #1795