pxd files are now generated from annotated headers