fix debian infrastructure: init.lua was moved