Revision 900

Fixed addressing to the tmp location of the pdf file so that
it never uses //.  That was causing trouble on webwork-db although
it seemed to work on webwork.
--Mike