2011-08-26 Tom de Vries <tom@codesourcery.com>