Fixed a nasty order of destruction bug, where the memory pool for ScriptInts was destroyed before the PackageManager