Linux build file updated; lua::get() updated