lua5.3: stage Lua headers in proper location