scripts/build_inf.sh: add debian support