add missing header file for dist