Fix require to make update_serialization_format work again