Fix mysql service name change in Fedora 20

Set HEAD to the commit that fixes the name
change of mysql to mariadb in Fedora 20