F-Droid server and build tools.