config.lua.dist for Linux compiling