Solder a push button directly to Raspberry Pi Zero GPIO
Unfortunately most 4-pin tactile switches have pitch different from 2.54mm. Furthermore, they have contacts paired internally, so even if you find switch with suitable pitch (there are few available) you'd have to sacrifice pins 37, 38 too.

I'd suggest looking for 2-pin switches, something like Panasonic EVQ-2 series, with 5mm pitch and long pins, which would work just as fine as long button for your purpose.