Don't use config option for flashing_formats