Raw.xs: import ppport.h