Fedora 20 Update: marble-4.12.2-3.fc20