We don't need to specify the default provider for these OS's as they will be identified correctly. Remove this line.