Revert libc++ change for boost