different config files for ubuntu/debian