Remove obsolete allow_all_args option