fixed a bug in installing the header file