Provision more tools on Ubuntu