Fix buildbot failure on 64 bit linux due to std::max() having different
operand types.