use pragma include_alias to map file names in appropriate header files