Remove profiling code that depends on NTL for now
Don't use $(CFLAGS) when building profiling code