issue #15504: fix file name