change mirror_data_dir for S2E env