git rm: refresh index before up-to-date check