Find Boost libraries on Ubuntu 13.10