minor tweaks to x64_heap