take 4 for linux and page_segmentor