build_inf.sh: change the protocal for github repo

No match.