OrcShared is the correct home for this header since Orc was split in 1d0676b5. (It should have been moved in that commit, but was overlooked).