Ubuntu 12.04 (Precise) or Linux Mint 13 (Cinnamon) ?