Added support for user-specified header file.