Remove unneeded prettify scripts (#99)