Results 1 issues of Daniel Beer

On Debian 10, I pkg-config lists "lua51" and "lua53", but nothing called "lua". This change causes the highest-numbered version of Lua to be selected in that case.