Fix ipmitool install