fix the little issue about the platform module of python