SYS_WALLCLOCK aliases best clock source (see #1)