Work around an incorrect assertion in older versions of boost. Closes #1702.
Bump version number in installer to 3.1.2