Install the right version of ipmitool