Unless it's GPL or similar, that's the claim. I'd hope that something like
case *buntu)
would avoid using their trademark, if you can't just test for Debian derivatives.