options to save files in csmith driver