Lua configuration: use C99 data types