--- sile.in 2019-01-07 09:48:08.943943000 +0100
+++ - 2019-01-07 23:26:28.635815999 +0100
@@ -1,4 +1,4 @@
-#!@LUA@
+#!@LUA@@LUA_VERSION@
SYSTEM_SILE_PATH = "@SILE_PATH@"
SYSTEM_SILE_LIB_PATH = "@SILE_LIB_PATH@"
SHARED_LIB_EXT = "@SHARED_LIB_EXT@"