Use local copy of Google Prettify