removing redundant google-code-prettify