update to F15 because Gnome makes it impossible to use F13