Bug fix for format_path()
Timer class to easily keep track of long running operations