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