See http://teamcity.lrde.epita.fr/viewLog.html?buildId=85384&buildTypeId=Vcsn_Amd64DebianClang35Speed&tab=buildResultsDiv
Don't push -f, just add one more commit.
push -f