Use non-fancy string.replace for ignore placeholders.  #138.