fix i386 file name