use new wala version with rewritten history