Update lists of required object files to follow recent changes in CBMC