if (drv.system == "unknown")
                throw EvalError("derivation must have a ‘system’ attribute");