Switch to a leaner MD5 library