fixup! Self-validate, use typify-bin