update for pitest 1.0.0