Updated packages, prettify-symbols