lua: make DEBUG undefined by default, as doc states