Using Google prettyprint instead of pygments