Get a friend to help you, and hold the tensioner in its fully down position, and measure the belt length that way, then measure again with the tensioner released, and take the average.
The average will still be slightly shorter than you need because of the non-standard way that every company seems to measure their belts, so you'll have to get a couple that are close and test fit them to see.