Rename 10543.in to 10534.in