Added mimetex.sunos,modified lib.php, made a copy of lib.php file