Minor style change to be consistent.
Remove obsolete set(GFLAGS_INTTYPES_FORMAT) call.