add plugin to s2e to print info of some linux OS