build_inf.sh: set correct branch for D release