Fix inclusion issues when the headers are not installed