fixed problem with adfgvx and porta tests