more differences from debian to redhat