Removed timing code from spider/main.cpp.