Fix flex config on older CentOS for hotproc