Fix type-mismatch proplem when running Pi-benchmark