change in header files’ names