Fix faketime_common.h's description