- prune more unused directories
- make makeinfo-old-version carnage graceful
- fix axis-binstrip for arm-axis-eabi.
