2012: What a Year for Linux