fix the names of x86_64 .s files