Fix pypy by using alternate cffi minibuffer syntax