basta anke un semplice script php ke interpreta il file e fa il download