Make %define-policy compatible with print-case :downcase

otherwise define-policy interns mixed-case names such as |DS.check-admin|.