lua lib in linux