fix issue when $GIT_INDEX_FILE doesn't exist