drop separate LICENSE file; it's already in header