forget the php gpg stuff, let user deal with it with bash