lua52, install lua.hpp