how to properly "export" a new header file to user space?