Update build tools for generic 3.17.x and Ubuntu-14.04