Remove extra FLAGS_seed definition