src/HOL/Unix/ROOT.ML

more explicit exit due to failed etc/settings -- normally return code 0=true and 1=false could be tolerated, but bash syntax errors also return 1;

use_thys ["Unix"];