[minor] File name juggling