MD5 (pips800-1.3.1.i386.tgz) = 7c42a48ca5350ac137dd12abdd75c6c5