Re-submit: Printing problem with CUPS after FC3 upgrade