fix IE server file name