Dockerfile: default to SETTINGS_FLAVOR prod