Some small updates for debian init files