Upgraded Texshop to 3.42