Provided by: freeipmi-tools_0.8.12-3ubuntu1_amd64 bug