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