Ok, here is last PA without compatibility patch: http://atrey.karlin.mff.cuni.cz/~pali/pa/new2/ Everybody, please test if this version working fine.