Re-delete src/common/intervaltimer.cpp