let local_opts = ref true