weird git problem, file is really moved