mention the flavor value for the --core-server-flavor option