base/dispatch.c, etc.: Replace inline assembler for the `rdrand' fix.

[catacomb] / debian / catacomb-bin.prerm

#! /bin/sh -e
dpkg-statoverride --remove /usr/bin/pixie 2>/dev/null || true