lua-ios.mk: use an explicit target to avoid re-downloads