bug #1167: simplify installation of header files using cmake's install(DIRECTORY ...) command.
65 files changed