removed simple profiler: profile.ml