configuration files for linux et al.