Браузеры считают караоке простым midi

У меня на сайте - файлы караоке для скачивания.
При попытке загрузить их ("сохранить как")
они сохраняются с расширением .mid вместо .kar.
(Я проверял в IE6, NN7, Opera7).
Похоже, браузеры слишком умные.
Анализируют формат файла,
вместо того, чтобы тупо сохранить, как есть.

Возможно ли что-то сделать средствами HTML?
Или нужно использовать JavaScript?
(Последнее очень не хотелось бы.
Конфликт браузеров никто не отменял.)
Может быть,
использовать серверное программирование?