update build glue and version numbers, add new intrinsics headers, and update OptionalObsoleteFiles.inc.