Add --profiling option, can be useful for #12