Update the version specifier for timecop