Fix #158: MiniboxedFunctions are serializable