Renamed file used for profiling, and that is not used anymore.