let scriptfile = ref None