Fix boost detection on Ubuntu 13.10.