timer for benchmarking
make clean