Update file_proc.h