RE: FFI proposal: allow some control over the scope of Cheaderfiles