do not include public headers as though they are private