Forgot to remove these files when fixing Liran's diff