#9864: Make SAGE_LOCAL/lib precede /usr/local/lib in libdirs, use patch
