Widget generation: use the right config.xml.in file.