Fix build for recent changes in CBMC