No need to duplicate header files