Fix for .pxd files not being distributed