configure.ac: correctly include boost headers