script.ml compiles again