Fix the binary file name