include the copyright in COPYRIGHT provided in the source code