Added profiling code to geppetto.