Updating Tex2png.php