init.d scripts adapted for Debian
In get_host_characteristics the cpu speed is casted from float to int (contract violation)