add missing pxd file