making the lua stuff compile as c++

otherwise lua-to-bv (bv is c++) callbacks and panic handlers (also in
c++ linkage) would be a mess (class-bound static-methods would be
unusable as callbacks and panic handlers)