Thanks for reporting the warnings. I've disabled the dvipng test. IMHO, it is not worth spending so much time on. I want to spend my time on getting ready for the next release, not messing around with a basically trivial test that we never had before. Thanks, karl