Gave up on autodownload from Sourceforge.. this will have to do