--- a/configure Sun Mar 31 12:27:28 2013 +0100 +++ b/configure Sun Mar 31 20:04:09 2013 +0200 @@ -95,6 +95,7 @@ if [ "$OSTYPE" = "debian" ] then LUA_SUFFIX="5.1"; LUA_SUFFIX_SET=yes + RUNWITH="lua5.1" LUA_INCDIR=/usr/include/lua5.1; LUA_INCDIR_SET=yes CFLAGS="$CFLAGS -D_GNU_SOURCE"