name for init script on debian is openipmi