define +void report_path_from_kernel and report_path_to_kernel in util.c.