Hello World in Python 3 on Linux