.MP4 downloaded as .bin? Help

I sent a friend a compressed video that was 95mb, when they downloaded it it saved as downloadfile.bin. How do we get it back to .mp4?