Oops - forgot to commit the change to config.gcc when checking in this patch: