fix non android arm build (rule removed in previous commit)