Fixing lua-devel package name for debian systems