Work around a bug in boost 1.53