fix includings of headers for erldocs