make name of header file shorter