Updated submodule.
The formula is now serialized in the gui.