Oops, these were in the wrong directory
fix up giflib; not installing documentation for now