Build scripts for arm-none-eabi gnat 4.9.