build_inf_debian.sh: add parallel option