using ubuntu.com keyserver now. gnupg wasn't reliable