remove prettify*

We don't use it, so I'm stripping prettify* stuffs out.