AL> Кстати, есть инструкция как его билдить? Всё таки хочу запилить Solarized расцветку.

Есть. Посмотри в ii://tmp.red.eyes
SDK, кстати, можно брать даже самый новый (но build-tools обязаны быть 23 версии для 32-битных систем).

А ещё я только что специально для тебя закинул в репу скрипт progbuild.sh (в корне). Пропиши там путь к своему SDK, запусти с нужным ключом, и он всё соберёт.

И предупреждаю:

APK, которые я распространяю здесь, подписанные, поэтому установить свой поверх него тебе система не даст.
Так что либо запускай в виртуалке (Android-x86, это очень удобный вариант), либо удаляй моё приложение (перед этим не забудь экспортировать базу данных и конфиг в меню "Дополнительно", дабы заново ничего не настраивать).