Fix #2; platform check on Linux with Python 3.