remove duplicate lua header files