Build program with read_header.h to get the header file name