build_inf.sh: add option for each base OS