Delete tiny_segmenter.php