fix the benchmark Makefile for gcc