Upgrade Frege, support for sandboxed stdout