updated dependencies in cbmc's build script