added Fedora 20 (for testing on OBS)