remove google-code-prettify