fix includes from better_pex_scrubbing branch

Apologies for the bad pull.