64bit integer fix and more bootstrapping files