attempt to specify GFLAGS_TYPES manually