Use latest Ubuntu 18.04 image for tools system