modified path condition check to platform dependet access