Linux round-up: A bunch of Mints for Christmas