To actually enable the performance counter 'perf_counter' has to be added to the SPECS make variable. Fixes #893.