debian packagong for GNU freeipmi