Add unpretty() script deserializer.