Address Ripple build failure: https://f-droid.org/wiki/page/info.guardianproject.ripple/lastbuild_139.