Add original header file to distribution for pip.