Adjusts failconfig.txt for AVM2 tests