Do not use --enable-official-branding configure argument to avoid possible future trademark annoyances.