Renamed time.h to time_ccan.h because it gets picked instead of system header; using long form for config file