Added a "divide by 1000" fix to PAPI numbers of instructions to
avoid numerical overflows that would lead to negative averages.