Allow scripts to be shared between both shells (main/proof)