tweak SageDoctestTwrite command