Fix extraneous 0 in fixboost.sh