VERY simple bash scripts to use CIL in a sane way