build_inf.sh: fixes for debian build