remove old GPL header (#126)