git fails to mv a file; hand removing