Updated some copyright notices to 2013, which was fun.
Made scripts/check_style.sh work on OS X.