fix DESTDIR usage
Needs to be on the install target and not as a prefix in config.mk
That solves a problem when building PAPI and rpms.
Thanks to Gary Mohr and Phil Mucci for reporting the problem,
providing a first version of the patch and testing it.
Signed-off-by: Stephane Eranian <email@example.com>