Update ABC to git rev c5b48bb