quote args to define-obsolete-variable-alias!