COMP: Fix finding ps2pdf with MikTeX.

Change-Id: Icbd33ce1fd0b4de9dcb99186a59f3d4cb704e495