Really fix libinteractive serialization