Conversion scripts for SageMathCloud