contrib/avcodec: remove remnant
extras/tools: update gas-pp
contrib/ios: simplify arch handling
extras/ios: modernize build script