change file extension (in #include)