Workaround for a nasty bug in Boost.Serialization.