Voddler violates GPL, BSD licenses

Voddler's peer-to-peer based content distribution system, called VoddlerNet, incorporates code written by Google.
The code they're using is Google's implementation of an elliptic curve ("curve25519") developed by Daniel J. Bernstein.
The source code is available here: http://code.google.com/p/curve25519-donna/

(Voddler uses this for fast Diffie-Hellman agreements between peers, needed to agree on a shared encryption key to encrypt traffic between peers.)

The code implementing this elliptic curve is licensed under a 3-clause BSD license.
This can be verified by downloading the archive and look at the file curve25519-donna.c.
I've reproduced its header below.

The second clause in the BSD license has the following requirement:
 * Redistributions in binary form must reproduce the above
 * copyright notice, this list of conditions and the following disclaimer
 * in the documentation and/or other materials provided with the
 * distribution.

What this means in practice is that, if you distribute a program
(e.g. VoddlerNet) that incorporates such code, you're required to
reproduce the code's license somewhere.
Most people do this by including a "CREDITS" or "COPYING" textfile
where the license is reproduced.

I've got Voddler (which VoddlerNet is part of) installed on my Mac
but none of the files installed by Voddler reproduces the license
for curve25519-donna.

This violates the 3-clause BSD license under which Google's
curve25519-donna implementation is distributed.


Below is the full header from curve25519-donna.c:

/* Copyright 2008, Google Inc.
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are
 * met:
 *
 *     * Redistributions of source code must retain the above copyright
 * notice, this list of conditions and the following disclaimer.
 *     * Redistributions in binary form must reproduce the above
 * copyright notice, this list of conditions and the following disclaimer
 * in the documentation and/or other materials provided with the
 * distribution.
 *     * Neither the name of Google Inc. nor the names of its
 * contributors may be used to endorse or promote products derived from
 * this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 *
 * curve25519-donna: Curve25519 elliptic curve, public key function
 *
 * http://code.google.com/p/curve25519-donna/
 *
 * Adam Langley <agl@imperialviolet.org>
 *
 * Derived from public domain C code by Daniel J. Bernstein <djb@cr.yp.to>
 *
 * More information about curve25519 can be found here
 *   http://cr.yp.to/ecdh.html
 *
 * djb's sample implementation of curve25519 is written in a special assembly
 * language called qhasm and uses the floating point registers.
 *
 * This is, almost, a clean room reimplementation from the curve25519 paper. It
 * uses many of the tricks described therein. Only the crecip function is taken
 * from the sample implementation.
 */



Also see their violation of the Gnu GPL license:
http://en.wikipedia.org/wiki/Voddler#Source_Code_Copyright_Violation_Concerns

Basically, if you're distributing a program that incorporates GPL-licensed code,
e.g. VoddlerPlayer.exe, all code needed to rebuild VoddlerPlayer.exe from scratch
need to be provided in order to comply with the terms listed in GPL.

Voddler so far have only provided the source code for XBMC (the GPL-licensed media
center application Voddler is based on). This code by itself cannot be used to
rebuild VoddlerPlayer.exe and they are thus in violation of GPL.

Several people have complained here:
http://getsatisfaction.com/voddler/topics/gpl_and_voddlerplayer_exe