patches/ports-android: make Fedora happy.