Give up on maintaining my scheme of shipping an optimized and stripped binary
with a unoptimized binary with debug symbols in all distros (in particular,
Fedora and RHEL variants).

"When in Rome, do as the Romans do...".  rpmbuild is a bitch about allowing
unstripped binaries in a non-debuginfo package, so just give up and install
both packages when running ./rpm.py -i , so that I can have proper core
dumps to analyze in GDB.