RE: [PATCH] Fix for possible `make install' bug in beta38-pre2