Changing stxxl_tool benchmark_sort to generate 32-bit random numbers, 64-bit is too slow for SSDs.