[Patrick]

This error is very rare, Try downloading the 64 bit binary of Whirpool

Try This: http://www.solidfiles.com/d/688303825c/

This kind of error mostly occurs on 64 bit Ubuntu Linux.