src/Pure/System/registry.scala

       }
   }
 
   object Host extends Table[List[Options.Spec]]("host") {
     def options_spec(a: TOML.Key, b: TOML.T): Option[Options.Spec] =
-      TOML.Scalar.unapply(b).map(Options.Spec.eq(a, _, permissive = true))
+      TOML.Scalar.unapply(b).map(Options.Spec.eq(a, _))
 
     override def table_value(a: String, t: TOML.Table): List[Options.Spec] =
       for ((a, b) <- t.any.values; s <- options_spec(a, b)) yield s
   }
 }