The comment tread is arguing that it's hard to prove modified binary rather than the easier way; reuse of the trademark. Either way, both the modification and redistribution are illegal.