This one-line patch enables us (30+ printers) to support duplex printing via AirPrint.

There's no justification for this change, except that it works.
See
<https://launchpadlibrarian.net/124973715/cups_1.5.3-0ubuntu5.1_1.5.3-0ubuntu6.debdiff>
for inspiration.