DEFAULT_PLATFORMS_FILTER

DEFAULT_PLATFORMS_FILTER the default value of the platforms filter