Autocommit: libraries changed 2013-08-16-15:24:49

Manually post-processed to remove errors and warnings.