fix clock_getres for higher-resolution timing we now support; improves #1795