Debian Lua packages have slighly different names

The Debian packages for Lua are not called `lua5.1` and `lua5.1-dev` but `lua5.1-0` and `lua5.1-0-dev`.