> It looks like maybe there is an issue with the system-wide boost
> you have installed.
Thanks William. Moving /usr/include/boost to /usr/include/boost.old and
typing again make in SAGE_ROOT did it. You can recommend it to users who
encounter the same problem.