johannesjh/fava-gtk not found