Hello, world! from Linux mint