I’ve got a file that I am trying to download via wget. The link can be found on this page:
http://www.tokutek.com/tokumx-ce-download-packages/

The download link is:
http://www.tokutek.com/download.php?download_file=tokumx-1.5.1-1.el6.x86_64.rpm

As you can see, there is a php script that is accepting the `download_file` argument. How can I download the file via wget? I’ve tried the suggestions here and in many other places, but I cannot seem to find a viable solution. The above suggestions will indeed download a file with whatever name I give it after the `>` redirection, but it is just the index.html file in reality. Simply with a different name.

Any ideas?