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

Manually post-processed to remove errors and warnings.
Autocommit: libraries changed 2013-08-21-11:46:32