Work around compilation failure with % encoding in strings