Git: fix compilation issue.