Add Lua headers and fix push string function