Fix distribution type checker when writing the configuration file.