Fixup some integer issues and missing symbols.