replace tmp_dir+'.sagenb' with tmp_dir(ext='.sagenb')