Ubuntu wants liblua5.1.so.0 here, otherwise I get a SystemDLLNotFoundException. Would that also work on other Linuxes?