lua != which lua
luac != which luac

cortav: cortav.lua
	echo '#!$(lua)' > $@
	luac -s -o - $< >> $@
	chmod +x $@
