2012-10-16 Tom de Vries <tom@codesourcery.com>