libslcxx: File extensions .hh and .ii