Adding /usr/local/bin to PATH (needed to build under jenkins).