ios.mk: tweak