gflags for server, remove aminer singleton