make install din't work anymore since files listed in some
CMakeLists.txt couldn't be found. With this patch, make install
completes without error. I haven't checked if the installed stuff
can actually be used.
Thanks to Markus Blatt for pointing this out.