make ocamlprof (somehow run doesn't generate dump-file for goblint but small example works)