Build batch script fix