GPerfTools now mandatory if compiled with --profiling option