Use %% for literals in RUN lines.