extern os linux