Fix "make dist" error caused by renamed sgen-marksweep-drain-gray-stack.h