534a7d9 Fix installed headers

Authored and Committed by catanzaro a year ago
    Fix installed headers
    
        
file modified
+3 -0