Add search_paths for 64bit Unix operating systems (/usr/lib64/), so docsplit will work by default on 64bit machines.