try fix  platform.dist() bug on ubuntu that say it is a debian. puffff