Use local copy of code prettify