Cannot add smartcard key from command line app

I cannot add my key from the command line.
The secret subkeys are kept on a smartcard, but I have the key stubs in my keyring:

```
$ gpg -K BEA0E1BE
sec# 4096R/BEA0E1BE 2013-09-29
uid Mike English
uid Mike English
uid Mike English
uid [jpeg image of size 4538]
ssb> 3072R/20A048BC 2013-09-29 [expires: 2014-03-28]
ssb> 3072R/190C18C5 2013-09-29 [expires: 2014-03-28]
ssb> 3072R/824A8D3F 2013-09-29 [expires: 2014-03-28]

$ keybase push mike@xxx.xxx
error: No local keys found! Try `keybase gen` to generate one.
$
```

Start by reproducing the reported command-line flow with the `gpg -K BEA0E1BE` key listing and `keybase push mike@xxx.xxx`. Compare the smartcard key stubs shown by GPG with the keys recognized by `keybase push`; done means the command can identify and use the existing local smartcard-backed key.

Written by the indexing model from the issue text.