libhogweed4 has no copyright file