iOS: fix definition id overflow bug