Issue #12063: CTRL+C handling breaks 32-bit build.

Ok that's a first for me, as I'm testing editing and committing entirely from Gitlab! 😅 This should hopefully fix the 32-bit build.

Closes #12063 (closed).