Sorry, this was a problem with my particular setup and not a general bug. I had installed an older version of Boost. Removing that version fixes the problem.
Sorry, this was a problem with my particular setup and not a general bug. I had installed an older version of Boost. Removing that version fixes the problem.