use -mno-thumb on iOS