Downloading mkbdrpro.pl

[bfp]

Dear Developers.

I'm attempting to download mkbdrpro.pl and am seeing "Internal Server" errors. After seeing this with my browsers, I tried wget, and am still seeing the problem.

% wget http://theory.cm.utexas.edu/vtsttools/d ... kbdrpro.pl
--2013-02-14 14:22:46-- http://theory.cm.utexas.edu/vtsttools/d ... kbdrpro.pl
Resolving theory.cm.utexas.edu... 146.6.143.211
Connecting to theory.cm.utexas.edu|146.6.143.211|:80... connected.
HTTP request sent, awaiting response... 500 Internal Server Error
2013-02-14 14:22:46 ERROR 500: Internal Server Error.


Thanks for your help,
Bryan

[graeme]

Can you just download the .tar.gz file?