fix missing lib google-prettify