Merge pull request #3632 from gilles-peskine-arm/all.sh-armgcc-c99

Fix arm-gcc builds in Travis runs with 2.24.0