Updated build scripts to the latest versions of Corral and Boogie.