Fixes to build DEV_TOOLS on ARCH linux + gcc-4.9.2
Merge commit '9d0bf44'