Adjust to changes in Tornado's options parsing.