Remove GPL remnants.  Fixes #3.