add exec-file option