Use the proper version of timecop