Add some pxd files