Patch pushed as d3d2881acf4f3efef61a4049ea4c7c3ba883f48c with a comment explaining why the 'sanity-check' phase is deleted. Thanks.