Fix PAPI initialisation code.