Fix buglet: --with-papi should be --with-papi-dir... (installed mvapich2-gnu-4.5 mvapich2-intel-12.0 openmpi-gnu-4.5 openmpi-intel-12.0)