use timelib.m4