Fix boost lib detection in Ubuntu 13.10. Fixes #3219.

See title. fake-verified by moving my libs on 13.04 to /usr/lib/x86_64-linux-gnu.

Patch submitted upstream: https://savannah.gnu.org/patch/index.php?8254