Perhaps we should say "This file is part of khmer..." to keep the header generic.