Managed to forget to stage one line of code for the last commit... Also fixes the Z3 Autoconf memory range staying active after being configured, prevents some rare memory wraparounds.