Python: Python: PLATFORM module