Fix copying public header files into the build directory.

This method of using the PUBLIC_HEADER property of a library
is probably overly complicated here because the header files are
all in the same directory. It might simpler to just loop over
the relevant header files.