Debain Lua packages have slighly different names

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